полностью формализованный язык

См. также в других словарях:

• ХАЙДЕГГЕР — (Heidegger) Мартин (1889 1976) немецкий философ, один из крупнейших мыслителей 20 в. Родился и воспитывался в небогатой трудовой католической семье. Такое происхождение в преимущественно протестантской Германии некоторые исследователи склонны… …   История Философии: Энциклопедия

• ХАЙДЕГГЕР Мартин (1889-1976) — немецкий философ, один из крупнейших мыслителей 20 в. Родился и воспитывался в небогатой трудовой католической семье. Такое происхождение в преимущественно протестантской Германии некоторые исследователи склонны рассматривать как сыгравшее… …   История Философии: Энциклопедия

• Логика — (греч. logike̅́)         наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …   Большая советская энциклопедия

• ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) …   Философская энциклопедия

• МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И …   Философская энциклопедия

• Метаязык — (от греч. μετά  через, после)  язык «второго порядка», по отношению к которому естественный человеческий язык выступает как «язык объект», т. е. как предмет языковедческого исследования. Термин «метаязык» первоначально возник в математике и… …   Лингвистический энциклопедический словарь

• ЛЕСНЕВСКИЙ — (Lesnewsky) Станислав (1886 1939) пол. логик. Обучался в Берлине, Лейпциге, Мюнхене, Гейдельберге и Львове (под руководством К. Твардовского). Проф. философии математики Варшавского ун та в 1919 1939. Л. принадлежит к крупнейшим логикам 20 в.… …   Философская энциклопедия

• Логическая семантика —         раздел логики (См. Логика), посвященный изучению значений и смыслов понятий (См. Понятие) и суждений (См. Суждение) и их формальных аналогов интерпретаций (См. Интерпретация) выражений (термов и формул) различных исчислений (См.… …   Большая советская энциклопедия

• Противоречие —         1) диалектическое взаимодействие противоположных, взаимоисключающих сторон и тенденций предметов и явлений, которые вместе с тем находятся во внутреннем единстве и взаимопроникновении, выступая источником самодвижения (См. Самодвижение) и …   Большая советская энциклопедия

• ЛОГИКО-ФИЛОСОФСКИЙ ТРАКТАТ — ’ЛОГИКО ФИЛОСОФСКИЙ ТРАКТАТ’ (‘Тгасtatus Logico philosophicus’) основное произведение раннего периода творчества Витгенштейна и единственная книга, которую он опубликовал при жизни. Написан в 1916 1918, опубликован в 1921 в Германии и в 1922 в… …   История Философии: Энциклопедия

• ЛОГИКО-ФИЛОСОФСКИЙ ТРАКТАТ — ( Тrасtatus Logico philosophicus ) основное произведение раннего периода творчества Витгенштейна и единственная книга, которую он опубликовал при жизни. Написан в 1916 1918, опубликован в 1921 в Германии и в 1922 в Великобритании. Анализ… …   История Философии: Энциклопедия